propositional calculus中文是什么意思

• 句子逻辑
• 命题逻辑
• 命题演算

• calculus    n. (pl. calculuses, -li ) 1. ...
• implicational propositional calculus    蕴涵命题演算
• minimal propositional calculus    极小命题演算
• propositional    建议的; 提议的; 主张的
• calculus    n. (pl. calculuses, -li ) 1.【医学】结石，石；积石；牙垢。 2.【数学】运算，演算；微积分(学)。 calculus of finite differences 【数学】差分演算(法)，差分学。 calculus of variation 变分法[学]。 differential [integral] calculus微[积]分(学)。 urinary calculus【医学】尿结石。
• propositional act    命题行为
• propositional algebra    命题代数
• propositional connective    命题联结词
• propositional constant    命题常数
• propositional content    命题内容
• propositional form    命题的形式
• propositional formula    命题公式
• propositional function    命题函数
• propositional indicator    命题指示成分
• propositional inference    命题推演
• propositional knowledge    陈述性知识; 命题性知识
• propositional law    命题定律
• propositional learning    命题学习
• propositional letter    命题字母
• propositional logic    命题逻辑
• propositional network    命题网络
• propositional representation    命题表征
• propositional symbol    命题符号
• propositional thinking    判断性思维
• propositional tree    命题树

• 2 . numerais system of propositional calculus nend netwrk deals with data , but it is a formula set in proposihonal calculus
  命题逻辑系统的数字化神经网络的处理对象是数据，而命题逻辑系统的处理对象是命题公式集。
• In automated theorem pidving , auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt
  在自动推理理论与应用的研究中，命题逻辑系统中的方法和内容具有广泛的适用性。
• The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
  中介逻辑命题演算系统mp ~ m和中介逻辑谓词演算系统mf ~ m是一种适用于处理不完全信息的新的逻辑系统。
• The conclusion points out tha evaltalon propositional calculus is sbole extension of hsitional calculus . mnle , the authr deeply studies to get ch medl sets , and gets some conclusion
  同时，在已有关于horn近似的快速推理研究的基础上，对如何尽快寻找模型集中的极小模型进行更深入的研究，得出若干结论。
• In this paper , a new type algebra is introduced , it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus . the main purpose of this paper is to investigate the various properties of the new algebra . in addition , this paper constructs an axiom set based on the medium logic propositional calculus system mpm , and gives a proof of its completeness
  本文通过对mpm中介逻辑命题演算系统进行代数抽象,建立了一个新的代数系统,讨论了该代数系统的性质,并利用该代数系统的代数性质构造了中介命题演算系统mpm上的一个公理完备集合,使用该公理集合可以方便的推导出mpm上的等值和互推公式,这对于处理不完全信息数据库的查询优化有着重要作用。
• The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system . this system is fit for dealing with incomplete information . it can act as the theory foundation for dealing with incomplete information
  中介逻辑命题演算系统mpm和中介逻辑谓词演算系统mfm是在改造原有的中介逻辑系统的基础上提出的一种新的逻辑系统,该逻辑系统特别适用于处理不完全信息,可以作为处理不完全信息的理论基础。

• propositional calculusとは意味：命題計算｛めいだい けいさん｝